First-order Nilpotent minimum logics: first steps
نویسندگان
چکیده
منابع مشابه
First-order Gödel logics
First-order Gödel logics are a family of infinite-valued logics where the sets of truth values V are closed subsets of [0,1] containing both 0 and 1. Different such sets V in general determine different Gödel logics GV (sets of those formulas which evaluate to 1 in every interpretation into V ). It is shown that GV is axiomatizable iff V is finite, V is uncountable with 0 isolated in V , or eve...
متن کاملNilpotent Minimum Fuzzy Description Logics
We define the fuzzy description logic ALCHNM based on the t-norm of Nilpotent Minimum and we prove its reduction to the crisp description logic ALCH. Hence we prove decidability results for ALCHNM.
متن کاملFirst Order Common Knowledge Logics
In this paper we investigate rst order common knowledge logics; i.e., modal epistemic logics based on rst order logic with common knowledge operators. It is shown that even rather weak fragments of rst order common knowledge logics are not recursively axiomatizable. This applies, for example, to fragments which allow to reason about names only; that is to say, fragments the rst order part of wh...
متن کاملIstituto per La Ricerca Scientifica E Tecnologica Distributed First Order Logics Distributed First Order Logics
limited distribution notice This report has been submitted for publication outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Report for early dissemination of its contents. In view of thetransfer of copyright to the outside publisher, its distribution outside of ITC prior to publication should be limited to peer communications and spe...
متن کاملOn Rational Weak Nilpotent Minimum Logics
In this paper we investigate extensions of Gödel and Nilpotent Minimum logics by adding rational truth-values as truth constants in the language and by adding corresponding book-keeping axioms for the truth-constants. We also investigate the rational extensions of some parametric families of Weak Nilpotent Minimum logics, weaker than both Gödel and Nilpotent Minimum logics. Weak and strong stan...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Archive for Mathematical Logic
سال: 2013
ISSN: 0933-5846,1432-0665
DOI: 10.1007/s00153-012-0317-4